How to generate all possible rational Wilf-Zeilberger pairs?
نویسنده
چکیده
A Wilf–Zeilberger pair (F,G) in the discrete case satisfies the equation F(n+ 1,k)−F(n,k) = G(n,k+ 1)−G(n,k). We present a structural description of all possible rational Wilf–Zeilberger pairs and their continuous and mixed analogues.
منابع مشابه
Algorithms for the Indefinite and Definite Summation
The celebrated Zeilberger algorithm which finds holonomic recurrence equations for definite sums of hypergeometric terms F (n, k) is extended to certain nonhypergeometric terms. An expression F (n, k) is called hypergeometric term if both F (n + 1, k)/F (n, k) and F (n, k+1)/F (n, k) are rational functions. Typical examples are ratios of products of exponentials, factorials, Γ function terms, b...
متن کاملFinding Identities with the WZ Method
Extending the work of Wilf and Zeilberger on WZ-pairs, we describe how new terminating hypergeometric series identities can be derived by duality from known identities. A large number of such identities are obtained by a Maple program that applies this method systematically.
متن کاملDiscriminants of Chebyshev-like Polynomials and Their Generating Functions
In his paper of 2000, Kenneth B. Stolarsky made various observations and conjectures about discriminants and generating functions of certain types of Chebyshev-like polynomials. We prove several of these conjectures. One of our proofs involves Wilf-Zeilberger pairs and a contiguous relation for hypergeometric series.
متن کاملProof of the Wilf-Zeilberger Conjecture
In 1992, Wilf and Zeilberger conjectured that a hypergeometric term in several discrete and continuous variables is holonomic if and only if it is proper. Strictly speaking the conjecture does not hold, but it is true when reformulated properly: Payne proved a piecewise interpretation in 1997, and independently, Abramov and Petkovšek in 2002 proved a conjugate interpretation. Both results addre...
متن کاملProof of a Conjecture of Wilf and Zeilberger
Wilf and Zeilberger conjectured in 1992 that a hypergeometric term is proper-hypergeometric if and only if it is holonomic. We prove a version of this conjecture in the case of two discrete variables.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1802.09798 شماره
صفحات -
تاریخ انتشار 2018